АВТОРСЬКІ ПРИМІТКИ В СТВОРЕННІ КОМІЧНОГО В РОМАНІ ТЕРРІ ПРАТЧЕТТА “GUARDS! GUARDS!”

Schedulability Analysis for Guards Computational Models Guards D1a4/ao/7013b

Motivating lazy guards

Workflow Data Guards

Workflow management systems (WfMSs) frequently use data to coordinate the execution of workflow instances. A WfMS evaluates conditions defined on data to make the control flow decisions i.e. selecting the next activity or deciding on an actor. However, data within and outside of a running workflow instance may change dynamically. Modifications of data needed for past control flow decisions may ...

Mobile vs. point guards

We study the problem of guarding orthogonal art galleries with horizontal mobile guards (alternatively, vertical) and point guards, using “rectangular vision”. We prove a sharp bound on the minimum number of point guards required to cover the gallery in terms of the minimum number of vertical mobile guards and the minimum number of horizontal mobile guards required to cover the gallery. Further...

CCS with Priority Guards

It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Various solutions have been proposed. We introduce a new approach, involving the addition of “priority guards” to Milner’s process calculus CCS. In our approach, priority is unstratified, meaning that actions are not assi...